Loop cleaningKASYANOV, V. N.Information processing letters. 1984, Vol 18, Num 1, pp 1-6, issn 0020-0190Article

The complexity of monadic recursion schemes: executability problems, nesting depth, and applicationsHUNT, H. B. III; ROSENKRANTZ, D. J.Theoretical computer science. 1983, Vol 27, Num 1-2, pp 3-38, issn 0304-3975Article

A note on the complexity of program evaluationIBARRA, O. H; LENINGER, B. S; ROSIER, L. E et al.Mathematical systems theory. 1984, Vol 17, Num 2, pp 85-96, issn 0025-5661Article

Abstract specialization and its applicationsPUEBLA, German; HERMENEGILDO, Manuel.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 269-283, issn 1523-2867, 15 p.Conference Paper

Development of correct transformation schemata for Prolog programsRICHARDSON, J; FUCHS, N.Lecture notes in computer science. 1998, pp 263-281, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Parametric analysis for adaptive computation offloadingCHENG WANG; ZHIYUAN LI.ACM SIGPLAN notices. 2004, Vol 39, Num 6, pp 119-130, issn 1523-2867, 12 p.Conference Paper

Static analysis (Venice, 22-24 September 1999)Cortesi, Agostino; Filé, Gilberto.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66459-9, VIII, 356 p, isbn 3-540-66459-9Conference Proceedings

Slicing java programs that throw and catch exceptionsALLEN, Matthew; HORWITZ, Susan.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 284-294, issn 1523-2867, 11 p.Conference Paper

On a technology of design and analysis of dataflow programsSOKOLOV, V. A; ROUBTSOVA, E. E; ROUBTSOV, S. A et al.Lecture notes in computer science. 1997, pp 115-120, issn 0302-9743, isbn 3-540-63371-5Conference Paper

A language of specified programsTARLECKI, A; BLIKLE, A.Science of computer programming. 1985, Vol 5, Num 1, pp 59-81, issn 0167-6423Article

Generalizing specifications for uniformly implemented loopsDUNLOP, D. D; BASILI, V. R.ACM transactions on programming languages and systems. 1985, Vol 7, Num 1, pp 137-158, issn 0164-0925Article

Die prinzipiellen Möglichkeiten zur Optimierung von Programmen = Les possibilités principales pour optimiser les programmesOTTER, W.Wissenschaftliche Zeitschrift der Technischen Universität Dresden. 1983, Vol 32, Num 3, pp 15-21, issn 0043-6925Article

Theory of program testing ― An overviewPRATHER, R. E.The Bell System technical journal. 1983, Vol 62, Num 10, pp 3073-3105, issn 0005-8580Article

An operational approach to program extraction in the calculus of ConstructionsFERNANDEZ, Maribel; SEVERI, Paula.Lecture notes in computer science. 2003, pp 111-125, issn 0302-9743, isbn 3-540-40438-4, 15 p.Conference Paper

Appendix : Conjectures concerning proof, design, and verificationWOS, L.Lecture notes in computer science. 2000, pp 526-533, issn 0302-9743, isbn 3-540-67863-8Conference Paper

CHAT is Θ(SLG-WAM)DEMOEN, B; SAGONAS, K.Lecture notes in computer science. 1999, pp 337-357, issn 0302-9743, isbn 3-540-66492-0Conference Paper

On the complexity analysis of static analysesMCALLESTER, D.Lecture notes in computer science. 1999, pp 312-329, issn 0302-9743, isbn 3-540-66459-9Conference Paper

Towards rigorous compiler implementation verificationGOERIGK, W; SIMON, F.Lecture notes in computer science. 1999, pp 62-73, issn 0302-9743, isbn 3-540-66930-2Conference Paper

Generalised logic program transformation schemasBÜYÜKYILDIZ, H; FLENER, P.Lecture notes in computer science. 1998, pp 49-68, issn 0302-9743, isbn 3-540-65074-1Conference Paper

Program inversion: more than fun!CHEN, W; UDDING, J. T.Science of computer programming. 1990, Vol 15, Num 1, pp 1-13, issn 0167-6423, 13 p.Article

Procedure compilation in the refinement calculusLERMER, K; FIDGE, C. J.Formal aspects of computing. 2006, Vol 18, Num 2, pp 152-180, issn 0934-5043, 29 p.Article

Inter-array data regroupingCHEN DING; KENNEDY, K.Lecture notes in computer science. 2000, pp 149-163, issn 0302-9743, isbn 3-540-67858-1Conference Paper

On jones-optimal specialization for strongly typed languagesMAKHOLM, Henning.Lecture notes in computer science. 2000, pp 129-148, issn 0302-9743, isbn 3-540-41054-6Conference Paper

Theorems about compositionCHARPENTIER, M; MANI CHANDY, K.Lecture notes in computer science. 2000, pp 167-186, issn 0302-9743, isbn 3-540-67727-5Conference Paper

A case study : Effects of with-loop-folding on the NAS benchmark MG in SACSCHOLZ, S.-B.Lecture notes in computer science. 1999, pp 216-228, issn 0302-9743, isbn 3-540-66229-4Conference Paper